Merge pull request #1720 from jeenu-arm/gic-priority
authorAntonio Niño Díaz <[email protected]>
Tue, 18 Dec 2018 09:05:22 +0000 (10:05 +0100)
committerGitHub <[email protected]>
Tue, 18 Dec 2018 09:05:22 +0000 (10:05 +0100)
commite01065472a588c4f7f52f88654c5b991498eb3dc
tree87a282ac70779a34f08d3a40521b7f9e6aec0b58
parentea9c332d124e3fd3285705a99c1a6537d515c32e
parent35cd9e816929bc52de2e130e699eba3c9f60b806
Merge pull request #1720 from jeenu-arm/gic-priority

GIC: Remove lowest priority constants